Implicitly synchronized abstract data types: data structures for modular parallel programming

Abstract data types are used to control the complexity of developing serial programs. They promote modular programming by encapsulating state and operations on that state. In parallel environments abstract data types must also encapsulate the synchronization required to correctly sequence the invocation of specific operations. An abstract data type is implicitly synchronized if it completely encapsulates the synchronization required for its use. Implicitly synchronized abstract data types promote modularity and help programmers manage the complexity of developing parallel software. This paper introduces the concept of implicitly synchronized abstract data types and shows how the implicitly parallel language Jade supports their development and use.data types are used to control the complexity of developing serial programs. They promote modular programming by encapsulating state and operations on that state. In parallel environments abstract data types must also encapsulate the synchronization required to correctly sequence the invocation of specific operations. An abstract data type is implicitly synchronized if it completely encapsulates the synchronization required for its use. Implicitly synchronized abstract data types promote modularity and help programmers manage the complexity of developing parallel software. This paper introduces the concept of implicitly synchronized abstract data types and shows how the implicitly parallel language Jade supports their development and use.